Theorem IntermediateField.toSubfield_map

Modification history