FIXME-TODO
Wed, 27 Jan 2010 08:41:42 +0100 Christian Urban use of equiv_relation_chk in quotient_term
less more (0) -10 -1 tip