Nuprl Definition : revfill
revfill(Gamma;cA;a1) == rev_fill_term(Gamma;cA;0(𝔽);discr(⋅);a1)
Definitions occuring in Statement :
rev_fill_term: rev_fill_term(Gamma;cA;phi;u;a1),
face-0: 0(𝔽),
discrete-cubical-term: discr(t),
it: ⋅
Definitions occuring in definition :
it: ⋅,
discrete-cubical-term: discr(t),
face-0: 0(𝔽),
rev_fill_term: rev_fill_term(Gamma;cA;phi;u;a1)
FDL editor aliases :
revfill
Latex:
revfill(Gamma;cA;a1) == rev\_fill\_term(Gamma;cA;0(\mBbbF{});discr(\mcdot{});a1)
Date html generated:
2017_01_10-AM-09_50_25
Last ObjectModification:
2016_12_22-PM-03_28_42
Theory : cubical!type!theory
Home
Index