Translates everything into Colombian Spanish
5.0400+
Redescribes statement and proof of given theorem
20+
sc-im assists you in how to use sc-im (spreadsheet calculator improvised) based on sc. Done by and maintained at https://github.com/andmarti1424/sc-im
5+
