Theorem Miu.le_pow2_and_pow2_eq_mod3

Modification history

2023-06-26 14:58
Archive/MiuLanguage/DecisionSuf.lean
feat: port Archive.MiuLanguage.DecisionSuf (#5475)
Added Miu.le_pow2_and_pow2_eq_mod3View on Github →