Extend the Lean 4.32 patch to Analyzer/Process.lean - #22

Extend the Lean 4.32 patch to Analyzer/Process.lean#22

Gabrielebattimelli merged 1 commit into

mainKernel-Science/physlibsearch:mainfrom

fix/lean-4.32-processKernel-Science/physlibsearch:fix/lean-4.32-processCopy head branch name to clipboard