「Mizar/本体部」の版間の差分

:[[Mizar/定義|定義]]をする

:definition

:end;

:--------------------------------------

:[[Mizar/本体部/証明したい式|証明したい式]]

::[[Mizar/本体部/proof|proof]]

:::[[Mizar/本体部/証明|証明]]

:::[[Mizar/本体部/結果|結果]]

::end;