Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.extend_apply'

Modification history

2021-09-23 16:42
src/logic/function/basic.lean
feat(linear_algebra/invariant_basis_number): strong_rank_condition_iff_succ (#9128) …
Added function.extend_apply'View on Github →