paper/octonionic_action: Lean modules cited by papers/octonionic_action/#6

disregardfiat merged 1 commit into

paper/sm_lagrangianHQIV/hqiv-lean:paper/sm_lagrangianfrom

paper/octonionic_actionHQIV/hqiv-lean:paper/octonionic_actionCopy head branch name to clipboard