OAI/NumberTheory/PiExponent/Jets/FormalBranchEvaluation.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PiExponent.FormalBranchEvaluation.branchCoordinates line 11
2. theorem OAI.PiExponent.FormalBranchEvaluation.branchCoordinates_hasSubst line 16
3. theorem OAI.PiExponent.FormalBranchEvaluation.subst_liftSeries line 34
4. theorem OAI.PiExponent.FormalBranchEvaluation.formalJet_subst_branch line 39
5. theorem OAI.PiExponent.FormalBranchEvaluation.polynomialFrameWord_branch_order line 69
6. theorem OAI.PiExponent.FormalBranchEvaluation.polynomialFrameWord_branch_order_toNat line 88