Accept Lean 4.33's docstring shape, and catch shape changes early - #26

Accept Lean 4.33's docstring shape, and catch shape changes early#26

Gabrielebattimelli merged 1 commit into

mainKernel-Science/physlibsearch:mainfrom

fix/jixia-4.33-docstringKernel-Science/physlibsearch:fix/jixia-4.33-docstringCopy head branch name to clipboard