Def Function.subtypeNeLift

Modification history

2026-06-18 10:07
Mathlib/Data/SubtypeNeLift.lean
feat(LinearAlgebra): generators of pi tensor products (#26464) …
Added Function.subtypeNeLiftView on Github →