Theorem Nat.floorDiv_eq_div

Modification history