Did you know ... Search Documentation:
Predicate del_min_assoc/4