Theorem Set.infs_subset_right

Modification history