Theorem Bimod.pentagon_bimod

Modification history