Theorem RingCat.forget_map_apply

Modification history