refactor: Multigoal proof #1908
Annotations
2 errors
|
runLinter on PhysLean:
PhysLean/Mathematics/SpecialFunctions/PhyscisistsHermite.lean#L151
PhysLean.physHermite_zero_apply simp can prove this:
|
|
runLinter on PhysLean
The process '/usr/bin/env' failed with exit code 1
|
Loading