Theorem AddMonoidAlgebra.le_inf_support_finset_prod

Modification history