OAI/Analysis/HenonEmden/Model.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.HenonLaneEmden.Space line 7

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

2. structure OAI.HenonLaneEmden.IsSolution line 9

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

3. def OAI.HenonLaneEmden.Subcritical line 21

   Also declared: ComparatorChallenges/HenonEmden.lean:21 (same declaration text).