semiring_finite (76B)
1 # Semiring finite 2 3 A [semiring] which is [finite] 4 5 Up: [semiring], [finite]
