Theorem Matrix.range_empty

Modification history