Theorem Subfield.splits_bot

Modification history