Reserved Notation ``_ `^ _`` has incompatible levels between fdist (infotheo) and sequences (mathcomp-analysis)

[t6s]

https://github.com/affeldt-aist/infotheo/blob/ee75502025e9fb5b988b025521aabab6f849b2e9/probability/fdist.v#L73 https://github.com/math-comp/analysis/blob/95daf6f73fd773414be3a0878aa0ba0aa6989231/theories/sequences.v#L100

Because of this conflict, these two files cannot be imported at the same time.