Theorem Dfinsupp.single_apply

Modification history