Theorem mem_subalgebraEquivIntermediateField

Modification history