Theorem Function.Exact.iff_of_ladder_addEquiv

Modification history