Commit 2023-12-02 15:52 5fb9beab

View on Github →

chore: space after ← (#8178)

Estimated changes

modified theorem UnitalShelf.act_idem
modified theorem Finset.compls_subset_iff
modified theorem Finset.infs_self
modified theorem Finset.sups_eq_self
modified theorem Filter.ker_pure
modified theorem inf_eq_sup
modified theorem ssubset_of_ssubset_of_eq
modified theorem subset_of_subset_of_eq
modified theorem Sublattice.coe_eq_empty
modified theorem Sublattice.coe_eq_univ
modified theorem LowerSet.erase_eq
modified theorem UpperSet.erase_eq
modified theorem Cardinal.lift_two
modified theorem Cardinal.mk_set