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