Haar Transform

Stream: new members

[Muizzi]

Hi, I know that the fourier transform is in mathlib but I was wondering if the haar transform or any other tranforms from functional analysis/wavelet analysis are in mathlib yet? I was trying to formalise the haar transform but I thought I'd ask if it's already in the library.

[Yaël Dillies]

No, we don't have it in mathlib. Someone might have it in a project, but I wouldn't have heard of it