Theorem RingCat.ext_of

Modification history