Історія комітів

Автор SHA1 Опис Дата
  kalebo 262561ca78 Changing wording in scale example 8 роки тому
  kalebo e3f1d3377f simplification 8 роки тому
  kalebo 1b5152e58f Added a line about interactive usage with mathlib 8 роки тому
  Ruben Vereecken 066582e8ea Formatted all pages according to guidelines. 9 роки тому
  Igor Shubovych 8335e84476 bc: add page 9 роки тому