OAI/MathematicalPhysics/SheetFlows/SheetProgram.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows sheet program.

  1. theorem OAI.Solenoidal.sheet_theorem line 15

    Distinct definitions of this name: ComparatorChallenges/SolenoidalSheetPrograms.lean:175 (same statement text; different proof or body). Qualify references as OAI.Solenoidal.sheet_theorem@path.