SepFunctor.v 80.9 KB