Theorem mem_principal_ideals_iff

Modification history