Skip to content

Fix positive_eq_hull_preimage_singleton and move homogenize_top - #84

Merged
martinwintermath merged 3 commits into
ooovi:mainfrom
mo271:fix-positive-hull
Sep 4, 2026
Merged

Fix positive_eq_hull_preimage_singleton and move homogenize_top#84
martinwintermath merged 3 commits into
ooovi:mainfrom
mo271:fix-positive-hull

add `hull_le_nonneg_of_subset_preimage_singleton`

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

Annotations

1 warning
build
succeeded Sep 4, 2026 in 2m 51s