ColinRothgang
authored
It now additionally introduces injectivity/surjectivity/bijectivity inverses and lemmas (proven by the hammer) relating them.
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
| Name | Last commit | Last update |
|---|---|---|
| .. | ||