(* Properties concerning atomic arity assignment ****************************)
-lemma csn_aaa: â\88\80L,T,A. L â\8a¢ T â\81\9d A â\86\92 L â\8a¢ â¬\87* T.
+lemma csn_aaa: â\88\80L,T,A. L â\8a¢ T â\81\9d A â\86\92 L â\8a¢ â¬\8a* T.
#L #T #A #H
@(acp_aaa … csn_acp csn_acr … H)
qed.