diff options
| author |  Joachim Breitner <mail@joachim-breitner.de> | 2018-05-16 12:02:19 -0400 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2018-05-16 12:02:19 -0400 |
| commit | 35eedc8e0878a174af2688913b6b60c879cf435c (patch) | |
| tree | 602aaeb0196a34a762260df236362bf322298c65 /theories/Sets/Relations_3.v | |
| parent | d74d72419f5e9b68fe8ec9e8c046faecacf9f2f4 (diff) | |
Typo in documentation of Derive
Diffstat (limited to 'theories/Sets/Relations_3.v')
0 files changed, 0 insertions, 0 deletions