Structure SFinKer.Hom

Modification history

2026-03-27 14:36

Mathlib/Probability/Kernel/Category/SFinKer.lean

feat(Kernel/Category): Stoch is a Markov category (#36779) …

Added SFinKer.Hom View on Github →