Open massma opened 4 years ago
> (0 ... 1) * whole Empty
I think it should be:
> (0 ... 1) * whole (-Infinity ... Infinity)
I think it should be: