Theorem Algebra.elemental.self_mem

Modification history