Theorem PiNat.firstDiff_le_longestPrefix

Modification history