Def CategoryTheory.Limits.Pi.whisker_equiv

Modification history