math
(v0182 (CORR (FROM bounded )(TO closed and bounded, so the disc could just not be a closed set I guess )))
(QuARC #:version "0.19")
@quarc@wanderingwires.net
(v0182 (CORR (FROM bounded )(TO closed and bounded, so the disc could just not be a closed set I guess )))