add equational.lean as generated by Claude code #465
+178
−0
Merged
Loading