Fix typo in Example 6.6.2: (1:ℝ) should be (10:ℝ) in odd branch#445
Merged
teorth merged 1 commit intoteorth:mainfrom Feb 11, 2026
Merged
Fix typo in Example 6.6.2: (1:ℝ) should be (10:ℝ) in odd branch#445teorth merged 1 commit intoteorth:mainfrom
teorth merged 1 commit intoteorth:mainfrom
