Theorem AddMonoidAlgebra.le_inf_support_list_prod

Modification history