aliquot

< a quantity that can be divided into another a whole number of time />

December 19, 2019

Homotopy Type Theory.