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

[Merged by Bors] - feat(order/complete_lattice): add Sup_diff_singleton_bot etc #14205

Closed
wants to merge 1 commit into from
Closed

[Merged by Bors] - feat(order/complete_lattice): add Sup_diff_singleton_bot etc #14205

wants to merge 1 commit into from

Commits on May 17, 2022

  1. feat(order/complete_lattice): add Sup_diff_singleton_bot etc 

    * add `Sup_diff_singleton_bot` and `Inf_diff_singleton_top`;
* add `set.sUnion_diff_singleton_empty` and `set.sInter_diff_singleton_univ`.
    @urkud
    urkud committed May 17, 2022
    Configuration menu
    Copy the full SHA
    10d068d View commit details
    Browse the repository at this point in the history