Theorem CommRingCat.germ_res_apply

Modification history