Theorem DFinsupp.single_sub

Modification history