No results found

flt-regular

Proof of Kaplanski criterion for being a UFD in Lean4
Displaying 1-1 of 1 versions of flt-regular
Sort by
  1. Not a part of any version track.
    12e33eb
    a month ago
    Released on April 2, 2025 at 3:48:36PM
    Commit 12e33eb builds on its old leanprover/lean4:v4.18.0-rc1
    v4.18.0-rc1
    563.3 KB Build archive size: 563252 bytes.