Theorem Subfield.isGLB_infₛ

Modification history