Theorem CategoryTheory.conjugateEquiv_symm_of_iso

Modification history