Theorem CategoryTheory.Equivalence.Mon_.forget_ε

Modification history