OAI/Analysis/IntegralMeans/SharpModel.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Brennan.Sharp.koebeDomain line 11

   Also declared: ComparatorChallenges/BrennanSharp.lean:22 (same declaration text).

2. def OAI.Brennan.Sharp.koebeInverse line 13

   Also declared: ComparatorChallenges/BrennanSharp.lean:24 (same declaration text).

3. def OAI.Brennan.Sharp.areaMoment line 15

   Also declared: ComparatorChallenges/BrennanSharp.lean:26 (same declaration text).

4. def OAI.Brennan.Sharp.SharpEndpointStatement line 18

   Also declared: ComparatorChallenges/BrennanSharp.lean:29 (same declaration text).