« first day (145 days earlier)      last day (170 days later) » 

user
user
11:51 PM
Draft: Prove strong induction using weak induction in Lean
 

« first day (145 days earlier)      last day (170 days later) »