Def CategoryTheory.Limits.Cocones.whiskeringEquivalence

Modification history