mathlib
e3057ba4 - doc(slim_check): add suggestion (#4024)

Commit

5 years ago

doc(slim_check): add suggestion (#4024)

References

#4925 - Make prime-avoidance branch build

Author

cipher1024

cipher1024

Parents

Loading