Def CategoryTheory.Limits.Pi.whiskerEquiv

Modification history