Theorem WithTop.rec_top_coe_coe

Modification history