Theorem List.Perm.join_congr

Modification history