`BookProof.NsLagrangianDet.zero_mem_waveSet` (kv : K → Fin 3 → ℝ) : (0 : Fin 3 → ℝ) ∈ waveSet kv

Initializing...

`BookProof.NsLagrangianDet.zero_mem_waveSet` (kv : K → Fin 3 → ℝ) : (0 : Fin 3 → ℝ) ∈ waveSet kv · Prove2Me