6.1.1 Derivation

This class is not derived from any other classes.

     template <class RowIterator> class proof;