:: deftheorem Def5 defines symmetry_circulant MATRIX17:def 5 :
for K being set
for M being Matrix of K holds
( M is symmetry_circulant iff ex p being FinSequence of K st
( len p = width M & M is_symmetry_circulant_about p ) );