Theorem Finsupp.domLCongr_trans

Modification history