Def CategoryTheory.Limits.Sigma.whiskerEquiv

Modification history