8000 Commits · Mnehmos/mathcorpus · GitHub
[go: up one dir, main page]
Skip to content

Commits

Branch selector

User selector

Datepicker

Commit history

  1. Commits on Jul 21, 2026

  2. Commits on Jul 12, 2026

  3. Commits on Jul 8, 2026

  4. Add functions: finite_injective_iff_surjective, the pigeonhole case

    MnehmosMnehmos
    committed
    ee80dd2

  5. status: note union_closed_singleton_mem frontier packet (append-only)

    Mnehmosclaude
    Mnehmos
    and
    claude
    committed
    f0d0cdb

  6. formal_conjectures: record union_closed_singleton_mem in SOURCE_MAP.md

    Mnehmosclaude
    Mnehmos
    and
    claude
    committed
    38bc515

  7. Add frontier packet: Union-closed sets conjecture, singleton-mem special case

    Mnehmosclaude
    Mnehmos
    and
    claude
    committed
    63be9df

  8. Add functions: bijective_comp, completes the injective/surjective comp pair

    MnehmosMnehmos
    committed
    cad08e7

  9. status: note Euler sum-of-powers frontier packets, Wikipedia round 9 in progress (append-only)

    MnehmosMnehmos
    committed
    007e404

  10. Add frontier packets: Euler's sum of powers conjecture false for k=4, k=5

    MnehmosMnehmos
    committed
    89f2746

  11. Add inequalities: general_qm_am, completes the general-ladder pattern

    MnehmosMnehmos
    committed
    bf0b5b3

  12. status: note formal_conjectures GreensOpenProblems triage round 8 (append-only)

    Mnehmosclaude
    Mnehmos
    and
    claude
    committed
    2c6b0db
0