Data.SBV.Examples.Misc.NoDiv0

checkedDiv

test1

test2