Formal development associated with this paper (0)

by D Traytel, A Popescu, J C Blanchette