Theorem DirectSum.ofList_dProd

Modification history