Theorem Imo2024Q5.fn2OfEdge0_apply_eq_fn1OfEdge0_apply_of_lt

Modification history