`OAI/GroupTheory/PolycyclicRecognition/Geometry/BoundaryVolumeComparison.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The common boundary window and its actual Haar characters

structure OAI.PolycyclicRecognition.BoundaryVolumeComparison line 22
Source documentation
The measures, common window, and estimates produced by the compact boundary shadows. These data are constructed below, not published inputs.
```
structure BoundaryVolumeComparison where
…
```