Theorem Units.val_injective

Modification history

2025-07-12 14:51
Mathlib/Algebra/Group/Units/Defs.lean
chore(Units): better follow the naming convention (#26251) …
Added Units.val_injectiveView on Github →