Theorem CategoryTheory.conjugateEquiv_of_iso

Modification history