Commit 2024-06-29 09:06 9382a75a

View on Github →

chore: move Multiset.lift_coe (#14252) This lemma doesn't mention any functors, so can go much earlier.

Estimated changes

added theorem Multiset.lift_coe
deleted theorem Multiset.lift_coe