Sign in
◑
Theme
fuchsia
/
third_party
/
github.com
/
leanprover
/
lean4
/
refs/heads/upstream/Array.mapIdx
/
.
/
tests
/
lean
/
diamond8.lean.expected.out
blob: 6dbbcd8b7b54cbb5a8ac02e4e885c97ce2635b5d [
file
] [
edit
]
class
Semiring
.{
u
}
:
Type
u
→
Type
u
number of parameters
:
1
constructor
:
Semiring
.
mk
:
{
R
:
Type
u
}
→
[
toAddCommMonoid
:
AddCommMonoid
R
]
→
[
toMonoid
:
Monoid
R
]
→
Semiring
R
fields
:
toAddCommMonoid
:
AddCommMonoid
R
toMonoid
:
Monoid
R
