OAI/Topology/ArtinGroups/ParabolicIntersections/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
All main results of paper 082-03
This entry point retains the conditional development and exports unconditional parabolic intersections, arbitrary intersections, parabolic closure, and the complete irreducible non-clique dynamics corollary.
This file declares nothing itself. It gathers the 3 imports below, so a file that imports it gets all of them.