Algebra.v (and fix _CoqProject)