Nuprl Definition : fl-filter
fl-filter(s;x.Q[x]) == cal-filter(s;x.Q[x])
Definitions occuring in Statement :
cal-filter: cal-filter(s;x.P[x])
Definitions occuring in definition :
cal-filter: cal-filter(s;x.P[x])
FDL editor aliases :
fl-filter
Latex:
fl-filter(s;x.Q[x]) == cal-filter(s;x.Q[x])
Date html generated:
2020_05_20-AM-08_52_09
Last ObjectModification:
2016_01_15-PM-05_29_37
Theory : lattices
Home
Index