Reduction in proof-en

Instance of: Lexical Entry
Language Eng
Reliability Code 3 Integer
Term Type Full Form
Is Entry of En

Canonical Form

Written Rep reduction in proof

Sense

Reference IATE-1617989