Isn't it orthogonal?

I mean couldn't neutrino and electrum both separately use utreexo?

I guess libfloresta implements electrum just because it has more adoption.