Theorem DFinsupp.lsingle_apply

Modification history