Theorem Finset.sup_himp_right

Modification history