Theorem Finset.sups_union_left

Modification history