Def CategoryTheory.MonoOver.infLELeft

Modification history

2023-05-09 06:29

Mathlib/CategoryTheory/Subobject/Lattice.lean

chore: tidy various files (#3848)

Added CategoryTheory.MonoOver.infLELeft View on Github →