habedi-work/geolog-zeta-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
geolog-zeta-fork/proofs/GeologProofs.lean
Hassan Abedi ac2f202594 The base commit
2026-02-26 11:50:51 +01:00

2 lines
38 B
Plaintext
Raw Permalink Blame History

import GeologProofs.MonotonicSubmodel
Reference in New Issue View Git Blame Copy Permalink