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 |