paper/sm_lagrangian: Lean modules cited by papers/sm_lagrangian/#5

disregardfiat merged 3 commits into

paper/finite_mode_kirchhoffHQIV/hqiv-lean:paper/finite_mode_kirchhofffrom

paper/sm_lagrangianHQIV/hqiv-lean:paper/sm_lagrangianCopy head branch name to clipboard