Theorem CategoryTheory.conjugateEquiv_id

Modification history