OAI/GroupTheory/PolycyclicRecognition/Geometry/FlowDerivativeTransport.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Base-point derivatives transported to almost every point of a flow line

  1. theorem OAI.PolycyclicRecognition.ae_flow_hasDerivAt_of_ae_base line 14
  2. theorem OAI.PolycyclicRecognition.ae_flowLine_hasDerivAt_of_ae_base line 48