Theorem Group.closure_mono

Modification history