Theorem Units.map_injective

Modification history

2023-12-30 19:16
Mathlib/Algebra/Group/Units/Hom.lean
feat: Kummer extensions are cyclic. (#9119)
Added Units.map_injectiveView on Github →