OAI/Geometry/TamingCompatibility/HeatFlow/ResolventTaylor.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ResolventTaylor.second line 14
2. lemma OAI.ResolventTaylor.cube_second line 17
3. lemma OAI.ResolventTaylor.scaled_inner_tendsto line 37
4. lemma OAI.ResolventTaylor.cube_distribution_tendsto line 57