Theorem Small.trans_univLE

Modification history

2024-09-13 03:40
Mathlib/Logic/UnivLE.lean
chore: remove `autoImplicit` from `Logic.UnivLE` (#16690) …
Added Small.trans_univLEView on Github →