Syntax definition csubrng

Description: Extend class notation with all subrings of a non-unital ring.

	Ref	Expression
Assertion	csubrng	Could not format assertion : No typesetting found for class SubRng with typecode class