Theorem Function.IsConstOn.comp_right

Modification history

2026-11-11 01:06

Mathlib/Logic/Function/Const.lean

feat(Logic/Function): define `Function.IsConstOn` predicate (#45867) …

Added Function.IsConstOn.comp_right View on Github →