Theorem injective_pair_iff_ne

Modification history