OAI/Analysis/NodalLength/CompactCover.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SharpNodal.Geometry.exists_normalized_local_length line 377
2. lemma OAI.SharpNodal.Geometry.exists_normalized_global_length line 443