Theorem Imo2024Q5.Path.exists_mem_fst_eq

Modification history