Theorem CategoryTheory.conjugateEquiv_symm_id

Modification history