#?SuikaWiki/0.9

[1]
[CODE(math)[[DFN[体系的一般実体]] := [[体系的実体]] ∧ [[一般実体]]]]

([[名無しさん]])