Theorem IntermediateField.AdjoinSimple.coe_gen

Modification history