Mathlib v3 is deprecated. Go to Mathlib v4

Def CommSemiRing.is_limit_lifted_cone

Modification history

2021-04-19 14:03
src/algebra/category/CommRing/limits.lean
chore(*): speed up slow proofs (#7253) …
Deleted CommSemiRing.is_limit_lifted_coneView on Github →
2021-04-10 12:50
src/algebra/category/CommRing/limits.lean
chore(*): speedup slow proofs (#7148) …
Added CommSemiRing.is_limit_lifted_coneView on Github →