OAI/GroupTheory/PolycyclicRecognition/Geometry/DenseDerivativeLabels.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Countably many directional derivatives determine one finite label

  1. theorem OAI.PolycyclicRecognition.SupportDatum.continuous_basisSupport line 20
  2. theorem OAI.PolycyclicRecognition.SupportDatum.continuous_segmentSupport line 26
  3. theorem OAI.PolycyclicRecognition.ae_template_label_of_dense_derivatives line 32