Theorem Finsupp.image_fst_graph

Modification history