OAI/GroupTheory/PolycyclicRecognition/Analysis/FiniteKernelCoarseEquivalence.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Finite kernels do not change the discrete group coarse structure

  1. theorem OAI.PolycyclicRecognition.finite_kernel_preimage_finite line 10
  2. def OAI.PolycyclicRecognition.finiteKernelCoarseEquivalence line 31