Skip to content
View jjaassoonn's full-sized avatar
9 followers · 5 following

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report jjaassoonn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. cc cc Public

    Čech cohomology on topological space

    Lean 1

  2. twist twist Public

    Definition of Serre's twisting sheaf (work in progress)

    Lean 1 1

  3. flat flat Public archive

    Equivalent definitions of flatness

    Lean 3