Theorem Algebra.lmul_algebraMap

Modification history