Skip to content

auto-task(PlaneSeven.B): remove B₀–B₆ definitions in favour of a single B : Fin 7 → Charges#1349

Closed
jstoobysmith wants to merge 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-todocompleter-20260701-135623
Closed

auto-task(PlaneSeven.B): remove B₀–B₆ definitions in favour of a single B : Fin 7 → Charges#1349
jstoobysmith wants to merge 1 commit into
leanprover-community:masterfrom
jstoobysmith:auto-todocompleter-20260701-135623

auto-task(PlaneSeven.B): remove B₀–B₆ definitions in favour of a sing…

026f0ff
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Comment a pull_request
succeeded Jul 1, 2026 in 26s