Theorem Imo2024Q5.Path.one_lt_length_cells

Modification history