Theorem WithOne.recOneCoe_one

Modification history