OAI/NumberTheory/ShortEgyptian/Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ShortEgyptian.IsExpansion line 7

   Also declared: ComparatorChallenges/ShortEgyptianFractions.lean:7 (same declaration text).

2. def OAI.ShortEgyptian.minLength line 11

   Also declared: ComparatorChallenges/ShortEgyptianFractions.lean:11 (same declaration text).

3. def OAI.ShortEgyptian.maxMinLength line 14

   Also declared: ComparatorChallenges/ShortEgyptianFractions.lean:14 (same declaration text).