Theorem Small.trans_univLE.{u,

Modification history

2024-09-13 03:40
Mathlib/Logic/UnivLE.lean
chore: remove `autoImplicit` from `Logic.UnivLE` (#16690) …
Deleted Small.trans_univLE.{u,View on Github →
2023-11-24 09:10
Mathlib/Logic/UnivLE.lean
feat: switch to weaker UnivLE (#8556) …
Added Small.trans_univLE.{u,View on Github →