mathlib3
075b0d23 - doc(data/nat/{part_enat, lattice}): update doc string (#16345)

Commit

3 years ago

doc(data/nat/{part_enat, lattice}): update doc string (#16345)

Author

astrainfinita

astrainfinita

Parents

Loading