(d : ℕ) (p q : Fin d → ℕ → ℝ) : HasZeroDeficiencyOn (fockCore fiberCore) (fockComparison d p q)

Initializing...

(d : ℕ) (p q : Fin d → ℕ → ℝ) : HasZeroDeficiencyOn (fockCore fiberCore) (fockComparison d p q) · Prove2Me