Skip to content

feat: document the @[to_additive]/@[to_dual] policy#852

Open
YaelDillies wants to merge 2 commits into
leanprover-community:lean4from
YaelDillies:to_additive_to_dual
Open

feat: document the @[to_additive]/@[to_dual] policy#852
YaelDillies wants to merge 2 commits into
leanprover-community:lean4from
YaelDillies:to_additive_to_dual

Conversation

@YaelDillies
Copy link
Copy Markdown
Contributor

No description provided.

Comment thread templates/contribute/style.md
@JovanGerb
Copy link
Copy Markdown
Contributor

to_dual also applies to category theoretic statements, not just order theoretic ones.

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.

3 participants