OAI/MathematicalPhysics/RecorderFlows/Initialized.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The initialized solenoidal-flow conclusion as a mathematical specification.

  1. def OAI.Solenoidal.Initialized line 9