Theorem lie_mem_right

Modification history