Nuprl Definition : transport-const
transport-const(G;cA;a) == transport(G;a)
Definitions occuring in Statement :
transport: transport(Gamma;a),
csm-composition: (comp)sigma,
cc-fst: p
Definitions occuring in definition :
transport: transport(Gamma;a),
csm-composition: (comp)sigma,
cc-fst: p
FDL editor aliases :
transport-const
Latex:
transport-const(G;cA;a) == transport(G;a)
Date html generated:
2018_05_23-AM-10_21_00
Last ObjectModification:
2017_12_05-PM-04_10_28
Theory : cubical!type!theory
Home
Index