Formalization of 3-independence of simple tabulation hashing by Wei De Leong, Yong Kiam Tan and Seng Joe Watt Jun 08