Theorem CategoryTheory.Equivalence.Mon_.whiskerRight_hom

Modification history