Nuprl Lemma : word-equiv-equiv

∀[X:Type]. EquivRel((X + X) List;w1,w2.word-equiv(X;w1;w2))


Proof

Error : references
Latex:
\mforall{}[X:Type].  EquivRel((X  +  X)  List;w1,w2.word-equiv(X;w1;w2))


Date html generated: 2020_05_20-AM-08_42_32
Last ObjectModification: 2017_01_14-PM-05_15_36

Theory : free!groups


Home Index