fix the remainder of the algebra folder

theories/algebra/auth.v

theories/algebra/coPset.v

theories/algebra/csum.v

theories/algebra/dfrac.v

theories/algebra/functions.v

theories/algebra/gmultiset.v

theories/algebra/gset.v

theories/algebra/lib/excl_auth.v

theories/algebra/lib/frac_agree.v

theories/algebra/lib/frac_auth.v

theories/algebra/lib/gmap_view.v

theories/algebra/lib/mono_nat.v

theories/algebra/lib/ufrac_auth.v

theories/algebra/list.v

theories/algebra/reservation_map.v

theories/algebra/ufrac.v

theories/algebra/vector.v

theories/algebra/view.v