Theorem FirstOrder.Language.BoundedFormula.semanticallyEquivalent_all_liftAt

Modification history