Skip to content

feat(FieldTheory/IntermediateField): adjoining a shifted or scaled generator#41649

Open
xroblot wants to merge 2 commits into
leanprover-community:masterfrom
xroblot:adjoin_shift_generator
Open

feat(FieldTheory/IntermediateField): adjoining a shifted or scaled generator#41649
xroblot wants to merge 2 commits into
leanprover-community:masterfrom
xroblot:adjoin_shift_generator

chore: rename to adjoin_simple_{add,mul}_algebraMap

24085d1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 12, 2026 in 1m 18s