Theorem Nat.factorizationEquiv_inv_apply

Modification history

2026-10-10 09:42
Mathlib/Data/Nat/Factorization/Basic.lean
chore: delete deprecated declarations to March 2026 (#44240)
Deleted Nat.factorizationEquiv_inv_applyView on Github →
2023-03-28 12:18
Mathlib/Data/Nat/Factorization/Basic.lean
feat: Port/Data.Nat.Factorization.Basic (#3043)
Added Nat.factorizationEquiv_inv_applyView on Github →