Commit 2025-01-12 20:14 650b0290
View on Github →feat: coe theorems in FiniteAdeleRing (#19814) add coercion theorems for: one, zero, add and mul; an interaction with algebraMap; and a theorem showing how algebraMaps of extensions are built.
feat: coe theorems in FiniteAdeleRing (#19814) add coercion theorems for: one, zero, add and mul; an interaction with algebraMap; and a theorem showing how algebraMaps of extensions are built.