Poincaré duality
Poincaré duality for differential forms is then the conjunction, for "M" connected, of the following two statements: