Theorem Imo2024Q5.Path.tail_induction

Modification history