is mentioned by
Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [col_all_functionality] |
Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [col_equal_functionality] |
Thm* ![]() ![]() ![]() ![]() | [col_le_weakening] |
Thm* ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() | [col_member_functionality] |
Thm* ![]() ![]() ![]() ![]() ![]() | [col_equal_transitivity] |
Thm* ![]() ![]() ![]() | [col_equal_inversion] |
Thm* ![]() ![]() ![]() | [col_equal_weakening] |
Try larger context: GenAutomata