OAI/GroupTheory/SimpleAmenable/Model.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SimpleAmenable.FolnerAmenable line 9

   Also declared: ComparatorChallenges/SimpleAmenable.lean:9 (same declaration text).

2. def OAI.SimpleAmenable.MainStatement line 15