Commit 2022-04-05 11:05 cbbaef5a
View on Github →chore(algebra/field_power): generalisation linter (#13107) @alexjbest, this one is slightly more interesting, as the generalisation linter detected that two lemmas were stated incorrectly!
chore(algebra/field_power): generalisation linter (#13107) @alexjbest, this one is slightly more interesting, as the generalisation linter detected that two lemmas were stated incorrectly!