Theorem Finsupp.apply_surjective

Modification history