Theorem FirstOrder.Language.Formula.realize_relabel_sumInr

Modification history