Theorem unitsCenterToCenterUnits_injective

Modification history

2023-08-25 20:01
Mathlib/GroupTheory/Submonoid/Center.lean
feat: unit equivalences (#6526) …
Added unitsCenterToCenterUnits_injectiveView on Github →