Formalization of results about RA and SRA

Version 1.1, released 2016-12-20

This page has been generated by coqdoc