Duplicate result - Githubissues

nomeata / loogle

Mathlib search tool

https://loogle.lean-lang.org/

Apache License 2.0

61 stars 6 forks source link

Duplicate result #4

Closed nomeata closed 10 months ago

nomeata commented 10 months ago

https://loogle.lean-lang.org/?q=%22tsum%22%2C%20%22injective%22