Theorem Bimod.triangle_bimod

Modification history