Theorem CommRingCat.mkUnder_ext

Modification history