Theorem IsAdjoinRoot.adjoinRootAlgEquiv_apply_eq_map

Modification history

2025-08-18 12:21

Mathlib/RingTheory/IsAdjoinRoot.lean

feat(RingTheory/IsAdjoinRoot): add properties and constructors (#27373) …

Added IsAdjoinRoot.adjoinRootAlgEquiv_apply_eq_map View on Github →