Skip to content

perf(FieldTheory/PurelyInseparable): golf proof#41664

Open
kbuzzard wants to merge 3 commits into
leanprover-community:masterfrom
kbuzzard:kbuzzard-perfect-closure-golf
Open

perf(FieldTheory/PurelyInseparable): golf proof#41664
kbuzzard wants to merge 3 commits into
leanprover-community:masterfrom
kbuzzard:kbuzzard-perfect-closure-golf

Merge branch 'master' into kbuzzard-perfect-closure-golf

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