Theorem Finsupp.graph_zero

Modification history