mathlib

1159fa95 - refactot(data/equiv/basic): rename apply_inverse_apply to apply_symm_apply (#800)