Commit 2023-08-25 14:43 8bf281f0

View on Github →

refactor: golf #6309 (#6676) Also changes a lemma to instance and adds a new instance.

Estimated changes