mathlib3
20d6a9dd - add monotonicity instead of positivity - halfway through

Commit

3 years ago

add monotonicity instead of positivity - halfway through

References

#16574 - feat (group_theory/amenable) : define amenable groups

Author

matthias567

matthias567

Parents

Loading