Skip to content
This repository was archived by the owner on Jul 24, 2024. It is now read-only.

Files

Latest commit

leanprover-community-botleanprover-community-bot
chore(*): add mathlib4 synchronization comments (#19238)
Jul 16, 2023
08b081e · Jul 16, 2023

History

History

counterexamples

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
canonically_ordered_comm_semiring_two_mul.lean
canonically_ordered_comm_semiring_two_mul.lean
Jul 16, 2023
char_p_zero_ne_char_zero.lean
char_p_zero_ne_char_zero.lean
Jul 16, 2023
cyclotomic_105.lean
cyclotomic_105.lean
Jul 16, 2023
direct_sum_is_internal.lean
direct_sum_is_internal.lean
Jul 16, 2023
girard.lean
girard.lean
Jul 16, 2023
homogeneous_prime_not_prime.lean
homogeneous_prime_not_prime.lean
Jul 16, 2023
leanpkg.toml
leanpkg.toml
Feb 7, 2023
linear_order_with_pos_mul_pos_eq_zero.lean
linear_order_with_pos_mul_pos_eq_zero.lean
Jul 16, 2023
map_floor.lean
map_floor.lean
Jul 16, 2023
phillips.lean
phillips.lean
Jul 16, 2023
pseudoelement.lean
pseudoelement.lean
Jul 16, 2023
quadratic_form.lean
quadratic_form.lean
Jul 16, 2023
seminorm_lattice_not_distrib.lean
seminorm_lattice_not_distrib.lean
Jul 16, 2023
sorgenfrey_line.lean
sorgenfrey_line.lean
Jul 16, 2023
zero_divisors_in_add_monoid_algebras.lean
zero_divisors_in_add_monoid_algebras.lean
Jul 16, 2023