Theorem bot_lt_isotypicComponent

Modification history