is invariant under

Deductions

• Wikidata property related to mathematics is for example is invariant under ⇐ (is invariant under is a Wikidata property related to mathematics), (is a is inverse of is for example)
• Wikibase property is for example is invariant under ⇐ (is invariant under is a Wikibase property), (is a is inverse of is for example)
• -> is for example is invariant under ⇐ (is invariant under is a ->), (is a is inverse of is for example)
• is invariant under is a Wikibase property ⇐ (-> is subclass of Wikibase property), (is invariant under is a ->)