Commit 2025-06-06 04:20 fc52fd8b
View on Github →chore: remove global NatCast (Fin n)
and CommRing (Fin n)
instances. (#25476)
This PR ensures there are no global NatCast (Fin n)
instances
chore: remove global NatCast (Fin n)
and CommRing (Fin n)
instances. (#25476)
This PR ensures there are no global NatCast (Fin n)
instances