Yamaguchi Lean 4 Library
ProCGroups.FreeProC.Criteria
ProCGroups/FreeProC/Criteria

ProCGroups.FreeProC.Criteria

2 sections | 2 files | 33 declarations

Wrapper for the ProCGroups.FreeProC.Criteria folder.

AbstractResidual

1 files | 17 declarations | 12 Theorem | 5 Definition
A finite group embedding into a finite direct power of \(S\). This definition does not require \(S\) to be simple; the literature term "finite \(S\)-group" is the special case w...

InverseLimitsAndFiniteSubsets

1 files | 16 declarations | 9 Theorem | 2 Definition | 1 Abbreviation | 3 Structure | 1 Instance
A bundled inverse system of topological groups.