Theorem AddMonoidAlgebra.le_inf_support_pow

Modification history