Open toelli-msft opened 3 years ago
https://github.com/leanprover/lean4/blame/b6905f66d609f7501eb621ad2499f435fbcaad3c/doc/functions.md#L109
https://github.com/leanprover/lean4/blame/b6905f66d609f7501eb621ad2499f435fbcaad3c/doc/functions.md#L109