rename map_union_subseteq_l_alt → map_union_subseteq_l' (and likewise for _r)

This is more consistent with or_intro_{l,r}' and !300 (merged).

LGTM. Thanks.

merged

mentioned in commit fa9692b2

@iris-users this is a breaking change

• Rename map_union_subseteq_l_alt → map_union_subseteq_l' and map_union_subseteq_r_alt → map_union_subseteq_r' to be consistent with or_intro_{l,r}'.

sed script

sed -i -E '
s/\bmap_union_subseteq_(r|l)_alt\b/map_union_subseteq_\1'/g
' $(find theories -name "*.v")