Skip to content

surjective_finite

Alix Trieurequested to merge
atrieu/stdpp:injective_finite into master

Prove that Finite B knowing that Finite A and there exists a surjection f from A to B.

Edited by Alix Trieu

Merge request reports