Theorem IsLUB.of_subset_of_superset

Modification history