Quantum Logic Explorer 
< Previous
Next >
Nearby theorems 

Mirrors > Home > QLE Home > Th. List > wn  Unicode version 
Description: If is a term, so is . 
Ref  Expression 

wva 
Ref  Expression 

wn 
Colors of variables: term 
Copyright terms: Public domain  W3C validator 