Mathlib v3 is deprecated. Go to Mathlib v4

Structure intermediate_field

Modification history

2021-10-08 20:24

src/field_theory/intermediate_field.lean

refactor(field_theory/intermediate_field): remove old_structure_cmd (#9620)

Modified intermediate_field View on Github →

2020-09-24 17:38

src/field_theory/intermediate_field.lean

feat(field_theory): intermediate fields (#4181) …

Added intermediate_field View on Github →