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

::::[[Mizar 変数定義|変数定義]]

::::[[Mizar 証明|証明]]

:::end;