Theorem DFinsupp.injective_pi_lapply

Modification history