Def CategoryTheory.Prod.sectR

Modification history

2024-11-13 08:11

Mathlib/CategoryTheory/Products/Basic.lean

chore: camel `sectl` and `sectr` (#18907) …

Added CategoryTheory.Prod.sectR View on Github →