OAI/Geometry/PrescribedPotential/PathFrameBounds.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Path Frame Bounds.

  1. lemma OAI.Anticanonical.SourceSmooth.CoordinateBall.path_frame_bound line 24