mathlib

9a249eef - doc(tactic/simps): expand (#8729)

doc(tactic/simps): expand (#8729) * Better document custom projections that are composites of multiple projections * Give examples of `initialize_simps_projections` * Add `initialize_simps_projections` entry to commands.