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

lemma

ab87f1b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ci-checks
succeeded Aug 28, 2026 in 4m 35s