Theorem CommRingCat.ext_of

Modification history