Theorem FirstOrder.Language.BoundedFormula.semanticallyEquivalent_toPrenex

Modification history