Def function.injective.decidable_eq
Modification history
2022-07-30 20:46
src/logic/function/basic.lean
chore(logic/function/basic): make `function.injective.decidable_eq` protected (#15759)
Deleted function.injective.decidable_eqView on Github →2020-06-18 11:39
src/logic/function/basic.lean
chore(data/finset): minor review (#3105)
Modified function.injective.decidable_eqView on Github →