Closed nzw0301 closed 3 years ago
The LaTex example of Euclid contains not-prime number, 4, in L683.
4
Resolved in https://github.com/muzimuzhi/thmtools/commit/1965c56a6dfb2e089aae0b8b78ed143268f70eee. Thanks, you're so careful.
Personally I prefer doing whitespace-only changes in separate commit(s).
The LaTex example of Euclid contains not-prime number,
4
, in L683.