Theorem CategoryTheory.unit_conjugateEquiv_symm

Modification history