Theorem Ring.closure_subset

Modification history