Gentzenizations (English, noun)
expansion: Gentzenizations
Senses:
glosses: plural of Gentzenization
tags: form-of
plural
Forms: