Theorem Units.val_inj

Modification history

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