Theorem wellFounded_lift₂_iff

Modification history