Theorem RingQuot.star'_quot

Modification history