Def decidable_of_iff'

Modification history