flt3

Stream: FLT-regular

[Riccardo Brasca]

@Ruben Van de Velde Now that flt3 is in mathlib I am removing it from flt-regular. Maybe you want to keep it update in your own repo, or at least copy there the current version, that works.

[Ruben Van de Velde]

Thanks for the heads-up. I'm not planning to do anything with it, so in the git history is enough for me