Theorem divisor_closure_eq_closure

Modification history

2024-09-11 14:35

Mathlib/Algebra/BigOperators/Associated.lean

feat(Algebra/BigOperators/Associated): add lemma divisor_closure_eq_closure (#11888) …

Added divisor_closure_eq_closure View on Github →