Theorem IsLowerSet.inter

Modification history