Step * 1 of Lemma mon_ident


1. IMonoid
⊢ Ident(|g|;*;e)
BY
}

1
1. GrpSig
2. IsMonoid(|g|;*;e)
⊢ Ident(|g|;*;e)


Latex:


Latex:

1.  g  :  IMonoid
\mvdash{}  Ident(|g|;*;e)


By


Latex:
D  1




Home Index