OAI/NumberTheory/DukePrimeDegree/Geometry/IndexedRootShear.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Each remaining-root shear preserves the actual intrinsic product

  1. theorem OAI.DukePrimeDegree.ae_intrinsic_indexedLinearShear_preserves line 12