Questions tagged [without-loss-of-generality]

Without loss of generality is a frequently used expression in mathematics. The term is used to indicate the assumption that follows is chosen arbitrarily, narrowing the premise to a particular case, but does not affect the validity of the proof in general. (from Wikipedia)

Filter by
Sorted by
Tagged with
17 votes
1 answer
203 views

WLOG reasoning and Proof Assistants

The possibility of using proof assistants in combinatorics has been mentioned here and in more detail here. I'm interested in automating that part of some discrete problems which reduces the search ...
hardmath's user avatar
  • 539