Theorem Ring.closure.isSubring

Modification history