refactor(Electromagnetism): replace `fieldStrengthMatrix` with index-evaluation components - #1614

Merged

zhikaip merged 5 commits into

fieldstrength_eval

Sep 5, 2026

Commits on Sep 3, 2026

refactor(Electromagnetism): replace fieldStrengthMatrix with index-evaluation components

zhikaip
and
claude
committed
092e74e
chore(Electromagnetism): option-free canonicalMomentum_eq; drop MinkowskiProduct options

zhikaip
and
claude
committed
579c22c
chore(Electromagnetism): drop unneeded Fin.succAbove_zero guard in two files

zhikaip
and
claude
committed
5897962
fix(FieldStrength): drop simp attribute on toFieldStrength_eval_diag_eq_zero

zhikaip
and
claude
committed
92c4ffc

Commits on Sep 4, 2026

chore(FieldStrength): keep the basis-lemma TODO; resolved in the follow-up PR

zhikaip
and
claude
committed
ea62b3d