History of Rational numbers

when	who	what
2026-08-13 22:04	bmatschke	how well the digits are known: exact (type Q)	current
2026-08-09 09:11	flattening	entries rewritten as records with named parameters
2026-08-09 08:34	data-repository import	the current state of the data repository	reviewed
2021-03-12 13:07	bmatschke	from the data repository, 5809bd6f

What changed between 2026-08-09 09:11 and 2026-08-13 22:04

from line 28 (5 lines, 1 more than before) @@ -28,4 +28,5 @@

   type: Q   complete: 'no'+  rigour: exact Display properties:   number-header: $a$