Theorem IsAtom.of_isAtom_coe_Iic

Modification history