mathlib
a4a20ac3 - doc(data/num/basic): added doc-strings to most defs (#4439)

Commit

5 years ago

doc(data/num/basic): added doc-strings to most defs (#4439)

References

#4925 - Make prime-avoidance branch build

Author

shingtaklam1324

shingtaklam1324

Parents

Loading