mathlib3
7a891508 - doc(data/nat/pairing): fix ascii table markdown (#8460)

Commit

4 years ago

doc(data/nat/pairing): fix ascii table markdown (#8460)

Author

gebner

gebner

Parents

Loading