Commit 2026-03-25 12:17 feb22511

View on Github →

chore(Padics/PadicNumbers): delta derive the instances (#37140) Clean up the instances for ℚ_[p] by deriving them.

Estimated changes