PMPROPSYM : polymorphic proper symbol

wff Primitives

• =
• iota

ETPS documentation homepage

TPS homepage