Def CategoryTheory.Limits.Sigma.whisker_equiv

Modification history