Nuprl Lemma : Theorem 6.2 in Bezem,Coquand,Huber
We prove theorem 6.2 of the BCH paper.
If ⋅
Latex:
We prove theorem 6.2 of the BCH paper.
If \mcdot{}
Date html generated:
2015_07_17-PM-06_22_08
Last ObjectModification:
2015_02_13-AM-11_15_31
Home
Index