Structure CategoryTheory.LiftsToColimit

Modification history