]> gitweb.michael.orlitzky.com - mjotex.git/commit
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)
commit42aadc60bddb32104aa8269f9db5e3cfe057816e
tree8a367129865fc14899730046cba6c8eb098fe9c8
parent11c5394107f7501b64b073d1ed8161720a91c2f3
Use cl() instead of an overline for the topological closure.
mjo-topology.tex