Skip to content
move-decls (label)

[Merged by Bors] - feat: complements of codimension at least two subspaces are ample #2862

Sign in to view logs

[Merged by Bors] - feat: complements of codimension at least two subspaces are ample

[Merged by Bors] - feat: complements of codimension at least two subspaces are ample #2862

Triggered via pull request June 6, 2024 16:18
@leanprover-community-mathlib4-botleanprover-community-mathlib4-bot
labeled #11342
MR-sphere-eversion-ampleset2
Status Skipped
Total duration 2s
Artifacts –

move_decl.yaml

on: pull_request
add-comment
0s
add-comment
Fit to window
Zoom out
Zoom in