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

Commits on Jul 1, 2026

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

jstoobysmith
and
claude
committed