Theorem CommRingCat.forget_map_apply

Modification history