Theorem isBoundedUnder_le_finset_sup

Modification history