Theorem CategoryTheory.eqToIso_refl

Modification history