Z-module structure on abelian groups #2461
Annotations
1 error
|
theories/Algebra/Rings/Z.v#L285
In environment
A : AbGroup
n : cring_Z
a : A
The term "n" has type "group_type cring_Z" while it is expected to have type
"Int.Int".
Command exited with non-zero status 1
|
The logs for this run have expired and are no longer available.
Loading