Theorem Ring.closure_subset_iff

Modification history