mcdp { provides f[dimensionless] requires r[ℕ] ceil(provided f) ≤ required r }
hel1-z7-prod-editor-4 Restart page