Theorem SetLike.list_dProd_eq

Modification history