Theorem Nat.shiftl'_false

Modification history