Theorem Decidable.and_forall_ne

Modification history