sagetex: etc

Formatting.

Co-authored-by: Mauricio Collares <244239+collares@users.noreply.github.com>
This commit is contained in:
Alexander Nortung 2022-01-25 13:22:25 +00:00 committed by GitHub
parent fc475fa802
commit 35fa5b5ee6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23