30 thm trm_pat.distinct

    30 thm trm_pat.distinct

    31 thm trm_pat.fv[simplified trm_pat.supp(1-2)]

    31 thm trm_pat.fv[simplified trm_pat.supp(1-2)]

    32 

    32 

    33 

    33 

    34 declare permute_trm_raw_permute_pat_raw.simps[eqvt]

    34 declare permute_trm_raw_permute_pat_raw.simps[eqvt]

    36 

    35 

    37 equivariance alpha_trm_raw

    36 equivariance alpha_trm_raw

    38 

    37 

    39 

    38 

    40 end

    39 end