Theorem Rat.AbsoluteValue.exists_minimal_nat_zero_lt_and_lt_one

Modification history