as per @TwoLargeSnakesMating's request
the eqs are lagrange's theorem, box operator notation for wave eq, and wedge product definition
as per @TwoLargeSnakesMating's request
the eqs are lagrange's theorem, box operator notation for wave eq, and wedge product definition
Jump in the discussion.
No email address required.
This is almost perfect. But we need marseyforall, marseyexists, and multiple marseyvariable symbols so that we can do full theorems in Marsey.
Jump in the discussion.
No email address required.
We got and
Jump in the discussion.
No email address required.
Ah, I had no idea. Thank u mathchad
Jump in the discussion.
No email address required.
More options
Context
More options
Context
More options
Context