VisualLang
co
ro
lla
ry
(logic) a preposition that is inferred following the proof of another one
1 / 2