Commit 2024-02-07 01:59 eb994467
View on Github →chore: remove duplicate instances (#10316)
These are a few places where duplicates of instances are in scope, eg variable {K : Type*} [Field K] ... theorem foo [Field K] ....
.
chore: remove duplicate instances (#10316)
These are a few places where duplicates of instances are in scope, eg variable {K : Type*} [Field K] ... theorem foo [Field K] ....
.