Zheng Chu
Zheng Chu
Hi mellinoe, I'm encountering problems when creating a popupModal without close button on the headerbar but include `ImGuiWindowFlags`. The cimgui method can transfer the second parameter `bool*` with null. But...
--- Add lemmas showing that affine independence is preserved when replacing a vertex by a point strictly between two others, and related results for triangles. deps: - [ ] depends...
--- This file proves several lemmas involving the centroids and medians of a simplex in affine space. definitions: - `centroid` is the centroid of a simplex, defined as abbreviation of...