Theorem strictMonoOn_insert_iff_of_forall_ge

Modification history