Mathlib v3 is deprecated. Go to Mathlib v4

Def polynomial.gal.gal_action_hom

Modification history

2021-03-24 16:04

src/field_theory/polynomial_galois_group.lean

feat(tactic/lint): linter for @[class] def (#6061) …

Modified polynomial.gal.gal_action_hom View on Github →

2021-01-29 19:10

src/field_theory/polynomial_galois_group.lean

feat(field_theory/polynomial_galois_group): New file (#5861) …

Added polynomial.gal.gal_action_hom View on Github →