Theorem SimpleGraph.bot_strongly_regular

Modification history