(QuARC #:version "0.18.2")
@quarc
@wanderingwires.net
1y
I love it when my open covers have finite subcovers
