Theorem SimpleGraph.even_ncard_image_val_supp_sdiff_image_val_rep_union

Modification history