Theorem Fin.rev_involutive

Modification history