OAI/GroupTheory/PolycyclicRecognition/Finiteness/FiniteDimensionHomology.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Homology vanishing above the integral dimension bound

  1. theorem OAI.PolycyclicRecognition.groupHomology_isZero_above_dimension line 14