You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This way add_monoid.smul and add_group.gsmul will become instance ... : semimodule nat M and instance ... : module int G, respectively. The main bonus of this approach is that we won't need separate simplification lemmas for these smuls.
The text was updated successfully, but these errors were encountered:
This way
add_monoid.smul
andadd_group.gsmul
will becomeinstance ... : semimodule nat M
andinstance ... : module int G
, respectively. The main bonus of this approach is that we won't need separate simplification lemmas for thesesmul
s.The text was updated successfully, but these errors were encountered: