Theorem PerfectClosure.R.sound

Modification history

2023-06-29 23:57

Mathlib/FieldTheory/PerfectClosure.lean

fix precedence of `Nat.iterate` (#5589)

Modified PerfectClosure.R.sound View on Github →

2023-03-21 13:15

Mathlib/FieldTheory/PerfectClosure.lean

feat: port FieldTheory.PerfectClosure (#2879)

Added PerfectClosure.R.sound View on Github →