Theorem CategoryTheory.Equivalence.Mon_.forget_μ

Modification history