mathlib
b2973b12 - feat(logic/function/basic): add `function.const_injective` (#14388)

Commit
3 years ago
feat(logic/function/basic): add `function.const_injective` (#14388) Add `function.const_injective` and `function.const_inj`.
Author
Parents
Loading