Skip to content

simplify proof in Misc.lean #403

simplify proof in Misc.lean

simplify proof in Misc.lean #403

Build project

succeeded Sep 27, 2024 in 11m 22s