Theorem Finset.sup_himp_left

Modification history