Theorem CategoryTheory.Injective.iso_iff

Modification history