Theorem Submonoid.closure_eq_image_prod

Modification history