Structure CategoryTheory.LiftableCocone

Modification history