Commit 2022-03-31 17:21 de503895
View on Github →split(order/chain): Split off order.zorn
(#13060)
Split order.zorn
into two files, one about chains, the other one about Zorn's lemma.
split(order/chain): Split off order.zorn
(#13060)
Split order.zorn
into two files, one about chains, the other one about Zorn's lemma.