mathlib3

3ba9699a - Revert "Merge branch 'fp_enum_mul' into fp_enum_simple"

Revert "Merge branch 'fp_enum_mul' into fp_enum_simple" This reverts commit bc2ab81be562b153a95f81794d2b0b22d7c47757, reversing changes made to f36fa32a227b69ca4876453a915a14fe72342d76.