Theorem Cardinal.powerlt_mono_left

Modification history