Def decidable_of_iff

Modification history