Theorem Finset.inf_himp_right

Modification history