use broadcast for map/set/multiset_properties#1443

Merged

ahuoguo merged 4 commits intoverus-lang:mainfrom principled-systems:vstd-more-broadcast

Feb 12, 2025

+125-140

Commits on Feb 10, 2025

Commits on Feb 12, 2025

comment for lemma_set_empty_equivalency_len, revert some trigger annotations in seq_lib
ahuoguo
committed
Update source/vstd/set_lib.rs

ahuoguo
and
utaal
authored