Theorem rank_le_of_surjective_injective

Modification history