mathlib
cb4a5a24 - doc(field_theory/tower): correct docstring (#3853)

Commit

5 years ago

doc(field_theory/tower): correct docstring (#3853)

References

#4925 - Make prime-avoidance branch build

Author

kckennylau

kckennylau

Parents

Loading