Commit 2021-05-15 21:20 82ac80f1

feat(data/set/basic): pairwise_on.imp_on (#7578) Provide more helper lemmas for transferring pairwise_on between different relations. Provide a rephrase of pairwise_on.mono' as pairwise_on.imp.