Skip to content

Comments

Fix Exercise 6.4.6 statement: sup is not strictly monotone#444

Merged
teorth merged 1 commit intoteorth:mainfrom
rkirov:fix-sup-not-strict-mono
Feb 11, 2026
Merged

Fix Exercise 6.4.6 statement: sup is not strictly monotone#444
teorth merged 1 commit intoteorth:mainfrom
rkirov:fix-sup-not-strict-mono

Commits

Commits on Feb 9, 2026