Theorem CategoryTheory.ConcreteCategory.bijective_of_isIso

Modification history