mathlib3
f7807881 - feat(dynamics): define `{mul,add}_action.is_minimal` (#10311)

Commit

4 years ago

feat(dynamics): define `{mul,add}_action.is_minimal` (#10311)

Author

urkud

urkud

Parents

Loading