Theorem FirstOrder.Language.LEquiv.onBoundedFormula_symm

Modification history