OAI/GroupTheory/PolycyclicRecognition/Algebra/PolynomialOneParameterUniqueness.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A smooth one-parameter subgroup is determined by its time-one value

  1. theorem OAI.PolycyclicRecognition.polynomial_oneParameter_eq_smul line 14