Theorem Abelianization.map_map_apply

Modification history