Theorem Finsupp.apply_eq_of_mem_graph

Modification history