lean/FMG/Basic.lean — Flow-Matching Gaussians (Lean 4 + Mathlib)
1
def
hello
:=
"world"