Theorem WellFoundedGT.induction_top

Modification history

2025-05-03 07:23
Mathlib/Order/BoundedOrder/Lattice.lean
feat(Algebra): finiteness of associated primes (#24242) …
Added WellFoundedGT.induction_topView on Github →