FormalConjecturesForMathlib/Data/Int/Order/Basic.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Imports (1)
Imported by 1 file
  1. instance (instance at line 20) line 20 source
  2. instance (instance at line 21) line 21 source