Theorem injective_iff_map_eq_one'

Modification history