Theorem Opposite.small

Modification history

2025-03-10 20:54

Mathlib/Data/Opposite.lean

feat(AlgebraicGeometry): constructor for `IsColimit (Cofan.mk S f)` (#22541) …

Added Opposite.small View on Github →