`BookProof.QuantumGravityFock.qgFock_hashimoto_selects` (e84 : ℕ ≃ (Fin 84 →₀ ℕ)) (eps : ℕ ≃ BoseConf) (A : finiteModeDomain (BookProof.HermiteProductCore.coreBasis e84) →ₗ[ℂ] fini

Initializing...

`BookProof.QuantumGravityFock.qgFock_hashimoto_selects` (e84 : ℕ ≃ (Fin 84 →₀ ℕ)) (eps : ℕ ≃ BoseConf) (A : finiteModeDomain (BookProof.HermiteProductCore.coreBasis e84) →ₗ[ℂ] fini · Prove2Me