Theorem Matrix.one_apply_ne

Modification history