Theorem Fin.rev_rev

Modification history