diff options
| author | Théo Zimmermann | 2020-05-16 15:41:21 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-16 15:43:15 +0200 |
| commit | e83a92d8855f1b2f99f2960454898985593d4cb6 (patch) | |
| tree | d712fbe0ef1586c56b6eba20f25a7c6389d2f70f /doc/stdlib | |
| parent | 888aaeb0a948352cf56f1f6d8023a051e90583a0 (diff) | |
Fix note on implicit arguments in doc of functional induction.
Diffstat (limited to 'doc/stdlib')
0 files changed, 0 insertions, 0 deletions