Theorem Submonoid.mem_closure_finset

Modification history