Theorem Finsupp.domLCongr_refl

Modification history