Theorem lie_mem_left

Modification history