Theorem Imo1981Q3.NatPredicate.imp_fib

Modification history

2025-08-18 19:46
Archive/Imo/Imo1981Q3.lean
chore: tidy various files (#28461)
Modified Imo1981Q3.NatPredicate.imp_fibView on Github →
2023-06-17 11:54
Archive/Imo/Imo1981Q3.lean
feat: port Archive.Imo.Imo1981Q3 (#5185)
Added Imo1981Q3.NatPredicate.imp_fibView on Github →