3bd3379 Sep 19, 2018
@xgrommx xgrommx Added HeytingAlgebra, Semiring, Ring
6 contributors

Users who have contributed to this file
@paf31 @LiamGoodacre @garyb @xgrommx @matthewleon @jacereda