Theorem Group.image_closure

Modification history