cantor_normal_form.lean

Commit

3 years ago

Update src/set_theory/ordinal/cantor_normal_form.lean Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

References

Author

vihdzp

Parents