Theorem bot_lt_isotypicComponents

Modification history