P
Initializing...
(mu : ℝ) : Intertwined (velNcore mu) (nsDiffN mu) · Prove2Me