Theorem WithOne.recOneCoe_coe

Modification history