mathlib
4bcc5325 - refactor(control/fold): don't use is_monoid_hom (#13350)

Commit

3 years ago

refactor(control/fold): don't use is_monoid_hom (#13350) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents