fact: Definition adjugate n A := \matrix_(i, j < n) (cofactor A j i : R).
imports: ssreflect ssrbool ssrfun eqtype ssrnat seq choice fintype finfun bigops ssralg groups perm zmodp morphisms Ring RingClass bigopsClass Setoid Morphisms