Theorem RingCat.coe_comp_of'

Modification history