Theorem IsGLB.of_subset_of_superset

Modification history