mathlib3
224ee5db - fix(docs/references.bib): re-introduce authors in Cassels-Frohlich (#16813)

Commit

3 years ago

fix(docs/references.bib): re-introduce authors in Cassels-Frohlich (#16813) authors were missing in the reference to Cassels-Frohlich

Author

faenuccio

Parents