Theorem Fin.rev_bijective

Modification history