Theorem SimpleGraph.bot_isContained_iff_card_le

Modification history