✐‹creator "Kevin Kappelmann"› theory Transport_Black_Box imports Transport_Bijections Transport_Compositions Transport_Functions Transport_Identity begin paragraph ‹Summary› text ‹The theory for black-box transports. For details, refer to \<^cite>‹"transport"›.› end