static constexpr auto equal_impl(M1 m1, M2 m2) { return m1.nrows() == m2.nrows() && m1.ncolumns() == m2.ncolumns() && all_of(zip_with(_==_, m1.rows_, m2.rows_)); }