mathlib
64d70ca0
- Merge branch 'CNF_golf' into CNF_alist'
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
Merge branch 'CNF_golf' into CNF_alist'
References
#16010 - refactor(set_theory/ordinal/cantor_normal_form): CNF as an association list
Author
vihdzp
Parents
c0151ddd
545cf6c1
Loading
