theorem LemmaFuncs: :: FUZIMPL4:30

{ f where f is Fuzzy_Negation : verum } c= Funcs ([.0,1.],[.0,1.])