Theorem Function.comp_assoc

Modification history

2024-09-24 16:00
Mathlib/Logic/Function/Defs.lean
chore: rename Function.comp.assoc to Function.comp_assoc (#17098)
Added Function.comp_assocView on Github →