SAKAI Masahiro - λ2 Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.


= λ2

((<型理論F>))の別称。