Mathlib v3 is deprecated. Go to Mathlib v4

Theorem onote.add_NF_below

Modification history