Def is_dec_refl

Modification history