minor improvements
authorGood Guy <[email protected]>
Wed, 18 Jan 2023 18:01:56 +0000 (11:01 -0700)
committerGood Guy <[email protected]>
Wed, 18 Jan 2023 18:01:56 +0000 (11:01 -0700)
commit39b3b6886b5355a0edd944a083c21235826330ae
tree8103821d41273da77b9cb0c9701e140c1c6cc5ef
parent2bbeb590a8cec0f7516be5cbc5dafa63a28ed6eb
minor improvements
parts/Advanced.tex