module
Chapter10.Brady.Main
where
open
import
Chapter10.Brady.Vec
open
import
Chapter10.Brady.Fin