PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • A version of Haefliger's Theorem due to Moussu and Roche states that if M is an analytic, simply-connected manifold and d is an analytic and integrable distribution on M of codimension 1, then there is no closed, differentiable curve in M that is transverse to d.
http://www.w3.org/ns/prov#wasQuotedFrom
  • math.ca