Theorem Imo2024Q5.Path.findFstEq_fst_sub_one_mem

Modification history