Theorem Algebra.mul_mem_sup

Modification history