Theorem rightCoset_one

Modification history