Theorem IsClosed.leftCoset

Modification history