aliquote
< a quantity that can be divided into another a whole number of time />
About
Articles
Archives
December 19, 2019
Homotopy Type Theory
.