Theorem Function.subtypeNeLift_self

Modification history

2026-08-11 00:21

Mathlib/Data/SubtypeNeLift.lean

chore: bump toolchain to v4.34.0-rc1 (#42619)

Modified Function.subtypeNeLift_self View on Github →

2026-06-18 10:07

Mathlib/Data/SubtypeNeLift.lean

feat(LinearAlgebra): generators of pi tensor products (#26464) …

Added Function.subtypeNeLift_self View on Github →