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] .....

Estimated changes