mathlib
0147a532 - Update cantor_normal_form.lean
Commit
View On GitHub
Commit
3 years ago
Update cantor_normal_form.lean
References
CNF_alist
Author
vihdzp vihdzp
Parents
87d195d6
FAQ Terms Privacy Refunds Impressum
Loading