Theorem CategoryTheory.Equivalence.Mon_.forget_δ

Modification history