Theorem eq_or_gt_of_le

Modification history