aliquote

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

September 30, 2022

Homotopy Type Theory. #maths