Skip to content

feat(Analysis/Convex/Intrinsic): add open segment intrinsic interior results#41486

Open
TTony2019 wants to merge 1 commit into
leanprover-community:masterfrom
TTony2019:opensegment
Open

feat(Analysis/Convex/Intrinsic): add open segment intrinsic interior results#41486
TTony2019 wants to merge 1 commit into
leanprover-community:masterfrom
TTony2019:opensegment

Commits