Gráfico Succinct (PROVE)

FXEMPIRE
PROVERanque #584
Succinct