Theorem PiNat.disjoint_cylinder_of_longestPrefix_lt

Modification history