mathlib

ee6a9fa7 - fix(tactic/simps): fix bug (#7433)

fix(tactic/simps): fix bug (#7433) * Custom projections that were compositions of multiple projections failed when the projection has additional arguments. * Also adds an error when two projections are given the same simps-name