mathlib
3e58d9c3 - feat(data/nat/enat): `is_well_order` instance for `enat` (#14416)

Commit

3 years ago

feat(data/nat/enat): `is_well_order` instance for `enat` (#14416)

Author

vihdzp

vihdzp

Parents

Loading