litlas
ログインアカウント作成

Scalar actions in Lean's mathlib (short paper)

著者: Eric Wieser - CICM Workshops 2021 被引用: 0

Scalar actions in Lean's mathlib (short paper) | Litlas