Nuprl Lemma : ler_dumEpoch

ler_dumEpoch()

Proof not projected

Definitions occuring in Statement : ler_dumEpoch: ler_dumEpoch(), member: t

T, int:

Definitions : ler_dumEpoch: ler_dumEpoch(), member: t

T

ler\_dumEpoch() \mmember{} \mBbbZ{} Date html generated: 2012_02_20-PM-06_00_26 Last ObjectModification: 2012_02_02-PM-02_37_31 Home Index