Module projection_lifting

Source
Expand description

Hoist projections through operators.

Projections can be re-introduced in the physical planning stage.

Structsยง

ProjectionLifting
Hoist projections through operators.