Theorem Fin.cons_comp_rev

Modification history