Def decidable_of_decidable_of_eq

Modification history