| File | Mode | Size |
|---|---|---|
| canonically_ordered_comm_semiring_two_mul.lean | -rw-r--r-- | 8.7 KB |
| char_p_zero_ne_char_zero.lean | -rw-r--r-- | 1.0 KB |
| cyclotomic_105.lean | -rw-r--r-- | 3.9 KB |
| direct_sum_is_internal.lean | -rw-r--r-- | 3.5 KB |
| girard.lean | -rw-r--r-- | 2.1 KB |
| homogeneous_prime_not_prime.lean | -rw-r--r-- | 5.4 KB |
| linear_order_with_pos_mul_pos_eq_zero.lean | -rw-r--r-- | 2.1 KB |
| phillips.lean | -rw-r--r-- | 28.3 KB |
| pseudoelement.lean | -rw-r--r-- | 5.2 KB |
| seminorm_lattice_not_distrib.lean | -rw-r--r-- | 3.2 KB |
