OAI/GroupTheory/PolycyclicRecognition/Finiteness/SubgroupTopHomologyDegree.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Index coordinates for nested subgroups with a common orientation

  1. theorem OAI.PolycyclicRecognition.nestedSubgroup_topHomology_degree line 16