Theorem FirstOrder.Language.Term.relabel_comp_relabel

Modification history