Skip to content

Revert "finished the proof"

f7fde69
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(CategoryTheory): MorphismProperty.rightOrthogonal is closed under κ-filtered colimits #30507

Revert "finished the proof"
f7fde69
Select commit
Loading
Failed to load commit list.