Step
*
of Lemma
imon_subtype_grp_sig
IMonoid ⊆r GrpSig
BY
{ Auto }
Latex:
Latex:
IMonoid  \msubseteq{}r  GrpSig
By
Latex:
Auto
Home
Index