Theorem Set.subset_infs_self

Modification history