Cinf-structure of 1-forms

to be done

Related: cinf-structure.