Theorem Fin.range_cons

Modification history