Def CategoryTheory.Limits.Cones.whiskeringEquivalence

Modification history