Theorem Fin.cons_one

Modification history