Commit 2024-05-11 07:39 3be9527a

View on Github →

chore(WittVector.Isocrystal): remove helper local instance (#12789) WittVector.FractionRing.module is Semiring.toModule under the hood. We seem fine without it now.

Estimated changes