https://leanprover-community.github.io/mathlib4_docs/Archive/MiuLanguage/DecisionNec.html
Archive.MiuLanguage.DecisionNec
archive
https://leanprover-community.github.io/mathlib4_docs/Archive/MiuLanguage/Basic.html
Archive.MiuLanguage.Basic
archivebasic
https://leanprover-community.github.io/mathlib4_docs/Archive/MiuLanguage/DecisionSuf.html
Archive.MiuLanguage.DecisionSuf
archive