Commit 2023-04-04 21:00 7647a76c

View on Github →

Feat: Add computable rec for Option via rec_eq_recC pattern (#3255) Adds a computable recursor for Option

Estimated changes

added theorem Option.rec_eq_recC