]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
Use cl() instead of an overline for the topological closure.
authorMichael Orlitzky <michael@orlitzky.com>
Sun, 15 May 2016 21:37:38 +0000 (17:37 -0400)
committerMichael Orlitzky <michael@orlitzky.com>
Sun, 15 May 2016 21:37:38 +0000 (17:37 -0400)

No differences found