theorem :: CARDFIL4:47

Frechet_Filter [:NAT,NAT:] <> <.(Frechet_Filter NAT),(Frechet_Filter NAT).) by Th38;