Theorem PiNat.shortestPrefixDiff_pos

Modification history