Skip to content

feat(SpaceAndTime/Space/Basic): IsManifold instance for Space #1176

Draft
Bergschaf wants to merge 6 commits into
leanprover-community:masterfrom
Bergschaf:SpaceManifoldV2
Draft

feat(SpaceAndTime/Space/Basic): IsManifold instance for Space #1176
Bergschaf wants to merge 6 commits into
leanprover-community:masterfrom
Bergschaf:SpaceManifoldV2

Conversation

@Bergschaf

Copy link
Copy Markdown
Contributor

No description provided.

@github-actions

Copy link
Copy Markdown
Contributor

Thank you for this PR, which will now be reviewed. Please
see our review guidelines
if you are not familiar with the process. You should expect a back and forth
with a reviewer before your PR is merged. See also that link for how to
add appropriate labels to your PR. The PR will also go through a number
of automated checks. You can learn more about these here,
including how to run them locally.

If you want to bring attention to this PR, please write a message on this
thread of the Lean Zulip.

Comment thread Physlib/SpaceAndTime/Space/ToMathlib.lean
Bergschaf added a commit to Bergschaf/physlib that referenced this pull request Jun 17, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants