Zennta
ログイン
会員登録
検索
後で読む
お気に入り
お気に入りグループ
検索
Qiita一覧
Zenn一覧
お問い合わせフォーム
利用規約
プライバシーポリシー
記事がありません
1
ヨビノリ群論入門③をLean4で形式化 ~ 対称群 ~
Lean4で全単射や逆関数の性質を証明
ヨビノリ群論入門②をLean4で形式化 ~ 群の定義 ~
ヨビノリ群論入門をLean4で形式化
明日から"知ったか"できる！？ 速習！ 楕円曲線！！
基本的な無限群
対称変換、平行移動、...と恒等変換
1