Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-05 20:49 eb73c357

View on Github →

docs(order/complete_boolean_algebra): add module docstring, add whitespaces (#8525)

Estimated changes

modified theorem Inf_sup_Inf
modified theorem Sup_inf_Sup
modified theorem compl_Inf
modified theorem compl_Sup
modified theorem compl_infi
modified theorem compl_supr