Added `∂^2 * x / ∂t^2 <=> ∂ / ∂t * (∂x / ∂t)` - Githubissues

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Added `∂^2 * x / ∂t^2 <=> ∂ / ∂t * (∂x / ∂t)` #960

Closed bvssvni closed 3 years ago