Theorem Field.ring_closure_subset

Modification history