`term_denotable_finite_support` (v : DenseCore) : (Function.support (v : ℕ → ℝ)).Finite

Initializing...

`term_denotable_finite_support` (v : DenseCore) : (Function.support (v : ℕ → ℝ)).Finite · Prove2Me