Theorem Field.closure_subset

Modification history