Theorem UnivLE.succ

Modification history

2025-04-03 02:04
Mathlib/Logic/UnivLE.lean
refactor: make UnivLE a structure (#23611) …
Added UnivLE.succView on Github →