Theorem le_of_forall_sub_le

Modification history