Theorem CategoryTheory.Equivalence.Mon_.whiskerLeft_hom

Modification history