Theorem IsPGroup.bot_lt_center

Modification history