Theorem Matrix.range_cons_empty

Modification history