P
Initializing...
Prop. 2.2.1 — equicontinuity on strict colimits · Prove2Me