Theorem mem_own_leftCoset

Modification history