Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add part of sticks and stones (need help with dv condition #4254

Merged
merged 15 commits into from
Oct 2, 2024
Merged

Add part of sticks and stones (need help with dv condition #4254

Show file tree
Hide file tree
Changes from 9 commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
ab1bb78
Add part of sticks and stones
metakunt Sep 27, 2024
339f1bf
Format
metakunt Sep 27, 2024
3cee380
Regen discouraged
metakunt Sep 27, 2024
30f9d43
Add injectivity
metakunt Sep 27, 2024
4db18ed
regen
metakunt Sep 27, 2024
c030ed4
typo
metakunt Sep 27, 2024
8cfed8c
Add equinumerosity lemma
metakunt Sep 28, 2024
d1cfe60
Fix whitespace
metakunt Sep 28, 2024
33ac48f
inc functions cardinality
metakunt Sep 28, 2024
41c0626
fix typo
metakunt Sep 28, 2024
dbe9e70
Generalise proofs on nn0 instead of nn
metakunt Sep 29, 2024
88cbe7f
Merge branch 'develop' into ststone
metakunt Oct 1, 2024
696a405
remove discouraged frome abeq2
metakunt Oct 1, 2024
f674701
more closure properties
metakunt Oct 1, 2024
957894b
typo
metakunt Oct 1, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 3 additions & 0 deletions changes-set.txt
View file
Open in desktop
4 changes: 3 additions & 1 deletion discouraged
View file
Open in desktop
323 changes: 290 additions & 33 deletions set.mm
View file
Open in desktop
Loading