Librarium
Settings

If (F ⟶ G) is a Tautology and F is a Tautology Then G is Also a Tautology?