WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Isomorphism

Revision #3137 → #3643 · back to history

modifiedFields with p elements are canonically isomorphicd0b802c5ec6b
FieldFrom #3137To #3643
mathlib.moduleMathlib.FieldTheory.Finite.BasicMathlib.Data.ZMod.Basic
modifiedExponential is a group homomorphism9adb6b065aac
FieldFrom #3137To #3643
mathlib.moduleMathlib.Analysis.SpecialFunctions.ExpMathlib.Analysis.Complex.Exponential