Theorem conformal_at.conformal_factor_at_inner_eq_mul_inner'

chore(analysis/normed_space/conformal_linear_map): delay dependence on inner products (#9293)

feat(analysis/normed_space): Define conformal maps on inner product spaces; define the groupoid of conformal maps (#8367)