Theorem Unitization.lift_range

Modification history