Def Function.bicompr

Modification history

2026-04-27 14:17

Mathlib/Logic/Function/Basic.lean

feat(Logic/Function/Defs): move bicomp from `Basic` to `Defs` (#38497)

Modified Function.bicompr View on Github →

2021-07-27 17:57

Mathlib/Logic/Function/Basic.lean

feat(Logic/Function/Basic) port most remaining items (#26) …

Added Function.bicompr View on Github →