Action-rollback
De Demostración automática de teoremas (2014-15)
revertir rápidamente las ediciones del último usuario que modificó una página en particular
revertir rápidamente las ediciones del último usuario que modificó una página en particular