Theorem Subfield.infₛ_toSubring

Modification history