Theorem CategoryTheory.eHomEquiv_id

Modification history