Theorem CategoryTheory.Equivalence.inverse_map_inj_iff

Modification history