nnreal): upgrade some lemmas to `iff`
#18964

Open

feat(order/filter,topology/instances/nnreal): upgrade some lemmas to `iff` #18964

urkud wants to merge 4 commits into master from YK-comap-ite

Snapshot

50bb39a6

Merge branch 'master' into YK-comap-ite

f8dfa00d

Update

5b9976dd

github-actions added modifies-synchronized-file

urkud added t-topology

urkud added t-order

eric-wieser commented on 2023-05-07

Drop a lemma, add a lemma

f88ff5b1

eric-wieser commented on 2023-05-08

kim-em added awaiting-author

kim-em added too-late

Reviewers

eric-wieser

YaelDillies

Assignees

No one assigned

Labels

awaiting-author t-topology t-order modifies-synchronized-file too-late

Milestone

No milestone