Update .md file name to theoremone.md

Signed-off-by: Mike Lopez <105670462+mikelopez-theoremone@users.noreply.github.com>
This commit is contained in:
Mike Lopez 2022-10-14 18:32:16 -04:00 committed by GitHub
parent aded2e8f2c
commit a61875a5f3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23