Skip to content

refactor(Computability): remove h_mono from PolyTimeComputable.comp - #845

Open
BoltonBailey wants to merge 2 commits into
leanprover:mainfrom
BoltonBailey:remove-h-mono
Open

refactor(Computability): remove h_mono from PolyTimeComputable.comp#845
BoltonBailey wants to merge 2 commits into
leanprover:mainfrom
BoltonBailey:remove-h-mono

Commits

Commits on Aug 28, 2026