Theorem Matrix.IsAdjMatrix.apply_ne_one_iff

Modification history