Def pSet.resp.eval_val
Modification history
2018-04-24 22:18
set_theory/zfc.lean
fix(*): update to lean
Deleted pSet.resp.eval_valView on Github →2018-01-11 23:22
set_theory/zfc.lean
doc(*): blurbs galore …
Modified pSet.resp.eval_valView on Github →