Theorem abelianizationCongr_of

Modification history