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