A:MsgA. A ||+ A:MsgA. A || A:MsgA. ma-sframe-compatible(A; )A:MsgA. ma-frame-compatible(A; )| Rank | Theorem | Name |
| 2 | A:MsgA. A ||+ | [ma-empty-compat-right] |
| cites the following: | ||
| 1 | A:MsgA. A || | [ma-empty-compatible-right] |
| 0 | A:MsgA. ma-sframe-compatible(A; ) | [ma-empty-sframe-compatible-right] |
| 0 | A:MsgA. ma-frame-compatible(A; ) | [ma-empty-frame-compatible-right] |