OAI/Algebra/FinitisticAsymmetry/Model.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.LittleFinitistic.bigFinitisticDimension line 12

   Also declared: ComparatorChallenges/FinitisticAsymmetry.lean:17 (same declaration text).

2. def OAI.LittleFinitistic.InjectivesGenerate line 15

   Also declared: ComparatorChallenges/FinitisticAsymmetry.lean:20 (same declaration text).