Theorem List.eq_iff_join_eq

Modification history