mathlib3

refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply

#800

Merged