Theorem FirstOrder.Language.Term.relabel_relabel

Modification history