subformulae
English
Noun
subformulae
plural of
subformula