Theorem Bimod.id_whisker_left_bimod

Modification history