Theorem Multiset.rel_join

Modification history