@IHT1 -IHT1 [4: // | skip ]
[ lapply (lsubr_cpx_trans … HLT0 (L.ⓓⓝW.V) ?) -HLT0 -H2
/3 width=1 by cpx_bind, cpx_flat, lsubr_beta/
@IHT1 -IHT1 [4: // | skip ]
[ lapply (lsubr_cpx_trans … HLT0 (L.ⓓⓝW.V) ?) -HLT0 -H2
/3 width=1 by cpx_bind, cpx_flat, lsubr_beta/