The Lean 4 theorem `sectorGround_ge_temple` in the `ChapterSirkCertifiedGap` chapter of the timepiece formalization

Initializing...

The Lean 4 theorem `sectorGround_ge_temple` in the `ChapterSirkCertifiedGap` chapter of the timepiece formalization · Prove2Me