Theorem Imo2024Q5.Path.findFstEq_fst

Modification history