Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.extend_one

Modification history

2021-09-23 16:42
src/data/pi.lean
feat(linear_algebra/invariant_basis_number): strong_rank_condition_iff_succ (#9128) …
Added function.extend_oneView on Github →