`BookProof.ChapterSolovayTailDimension.norm_substrateBasisVector` (n : ℕ) : ‖substrateBasisVector n‖ = 1

Initializing...

`BookProof.ChapterSolovayTailDimension.norm_substrateBasisVector` (n : ℕ) : ‖substrateBasisVector n‖ = 1 · Prove2Me