Theorem CategoryTheory.isIso_iff_bijective

Modification history