Definition of "codimension"

codimension