Theorem IntermediateField.algHomEquivAlgHomOfIsAlgClosed_apply_apply

Modification history