Skip to content

Port algebra/lib/gset_bij.v - #529

Draft
lzy0505 wants to merge 2 commits into
leanprover-community:masterfrom
lzy0505:Codex/port-gset_bij
Draft

Port algebra/lib/gset_bij.v#529
lzy0505 wants to merge 2 commits into
leanprover-community:masterfrom
lzy0505:Codex/port-gset_bij

Commits

Commits on Aug 4, 2026

  • Port

    lzy0505lzy0505
    committed
    7d77eb4

  • pass

    lzy0505lzy0505
    committed
    52441c9