Theorem List.rel_join

Modification history