Theorem Function.Injective.beq_eq

Modification history

2024-02-08 14:48

Mathlib/Logic/Function/Basic.lean

feat: change Type to Sort in `Algebra/Classes`, fix some priorities (#10354)

Modified Function.Injective.beq_eq View on Github →

2023-01-10 11:52

Mathlib/Logic/Function/Basic.lean

feat: port Data.List.Count (#1410) …

Added Function.Injective.beq_eq View on Github →