The homogeneous analogue of `factor_cells_measure_preserving`: the reduced form product map pushes the product of the normalized reduced form cell measures forward to the normalized reduced

Initializing...

The homogeneous analogue of `factor_cells_measure_preserving`: the reduced form product map pushes the product of the normalized reduced form cell measures forward to the normalized reduced · Prove2Me