Missing doc-gen references

Stream: general

[Eric Wieser]

There are a small handful of references that didn't make it into the references.bib, that can be non-exhaustively found by searching for ## [rR]eferences\n\n ?[-*]? ?(?!http)\w. Obviously not very important, but it would be nice to add these entries to the bibliography.

[Eric Wieser]

The full list of files (with false positives) is:

file#analysis/convex/exposed
file#analysis/convex/extreme
file#analysis/inner_product_space/lax_milgram
file#analysis/inner_product_space/projection
file#category_theory/grothendieck
file#category_theory/concrete_category/basic
file#category_theory/monoidal/functor
file#control/bitraversable/basic
file#control/bitraversable/instances
file#control/bitraversable/lemmas
file#control/traversable/lemmas
file#dynamics/ergodic/measure_preserving
file#geometry/euclidean/oriented_angle
file#linear_algebra/free_module/strong_rank_condition
file#measure_theory/function/strongly_measurable
file#measure_theory/measure/content
file#order/symm_diff
file#probability/independence
file#set_theory/pgame
file#tactic/scc
file#topology/algebra/infinite_sum
file#topology/category/Compactum
file#topology/uniform_space/abstract_completion
file#topology/uniform_space/basic
file#topology/uniform_space/compl