Theorem CategoryTheory.conjugateEquiv_comp

Modification history