Theorem CategoryTheory.conjugateEquiv_symm_comp

Modification history