Theorem Cardinal.lift_strictMono

Modification history