Commit 2024-09-08 11:17 48b2de3d
View on Github →chore: rename invOf lemmas to match inv lemmas (#16590)
This follows on from #11530
In each case, I've added an example
with the Group
lemma, to make it easier to keep the names in sync.
chore: rename invOf lemmas to match inv lemmas (#16590)
This follows on from #11530
In each case, I've added an example
with the Group
lemma, to make it easier to keep the names in sync.