Pi

Statistics

Metric	Count
Definitions	0
Theorems `isAddLeftRegular_iff`, `isAddRegular_iff`, `isAddRightRegular_iff`, `isLeftRegular_iff`, `isRegular_iff`, `isRightRegular_iff`, `isSMulRegular_iff`	7
Total	7

Name	Kind	Assumes	Proves	Validates	Depends On
`isAddLeftRegular_iff` 📖	mathematical	—	`IsAddLeftRegular` `instAdd`	—	`map_injective`
`isAddRegular_iff` 📖	mathematical	—	`IsAddRegular` `instAdd`	—	`isAddRegular_iff` `isAddLeftRegular_iff` `isAddRightRegular_iff`
`isAddRightRegular_iff` 📖	mathematical	—	`IsAddRightRegular` `instAdd`	—	`map_injective`
`isLeftRegular_iff` 📖	mathematical	—	`IsLeftRegular` `instMul`	—	`map_injective`
`isRegular_iff` 📖	mathematical	—	`IsRegular` `instMul`	—	—
`isRightRegular_iff` 📖	mathematical	—	`IsRightRegular` `instMul`	—	`map_injective`
`isSMulRegular_iff` 📖	mathematical	—	`IsSMulRegular` `instSMul`	—	`map_injective`

---