29 thm trm_assg.fv[simplified trm_assg.supp(1-2)]

    29 thm trm_assg.fv[simplified trm_assg.supp(1-2)]

    30 

    30 

    31 equivariance alpha_trm_raw

    31 equivariance alpha_trm_raw

    32 

    32 

    33 

    33 

    35 end

    34 end

    36 

    35 

    37 

    36 

    38 

    37