Skip to content

feat(ForMathlib): boundary covered by face parametrizations (4/10) - #22

Open
CBirkbeck wants to merge 1 commit into
normle-3from
normle-4
Open

feat(ForMathlib): boundary covered by face parametrizations (4/10)#22
CBirkbeck wants to merge 1 commit into
normle-3from
normle-4

Commits

Commits on Jun 18, 2026