Nuprl Definition : mset_for
msFor{m} x ∈ a. f[x] == For{m} x ∈ a. f[x]
Definitions occuring in Statement :
mon_for: For{g} x ∈ as. f[x],
set_car: |p|
Definitions occuring in definition :
mon_for: For{g} x ∈ as. f[x],
set_car: |p|
Latex:
msFor\{m\} x \mmember{} a. f[x] == For\{m\} x \mmember{} a. f[x]
Date html generated:
2016_05_16-AM-07_47_27
Last ObjectModification:
2015_09_23-AM-09_52_04
Theory : mset
Home
Index