Theorem PiNat.firstDiff_lt_shortestPrefixDiff

Modification history