Theorem Cardinal.lift_monotone

Modification history