Theorem Finite.injective_iff_surjective

Modification history