OAI/GroupTheory/PolycyclicRecognition/Analysis/TupleMeasureScaling.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Independent coordinate changes and their product-volume multiplier

  1. theorem OAI.PolycyclicRecognition.measure_pi_smul line 13
  2. theorem OAI.PolycyclicRecognition.map_pi_of_coordinate_scaling line 22