Section 9.4: add ≤-variant as a fourth item in ContinuousWithinAt.tfae#490

teorth merged 1 commit intoteorth:mainteorth/analysis:mainfrom

rkirov:upstream-9.4-tfae-leqrkirov/analysis:upstream-9.4-tfae-leqCopy head branch name to clipboard