]> gitweb.michael.orlitzky.com - mjotex.git/commitdiff
mjo-set: adopt \powerset{} from mjo-common.
authorMichael Orlitzky <michael@orlitzky.com>
Mon, 4 Nov 2019 14:12:21 +0000 (09:12 -0500)
committerMichael Orlitzky <michael@orlitzky.com>
Mon, 4 Nov 2019 14:12:21 +0000 (09:12 -0500)

No differences found