module Chapter10.Brady.Main where

open import Chapter10.Brady.Vec
open import Chapter10.Brady.Fin