6 commits

Author	SHA1	Message	Date
jstoobysmith	ce32218654	refactor: Lint	2024-10-03 07:32:46 +00:00
jstoobysmith	ee2b6a7ea4	feat: Add properties of TwoHDM	2024-10-01 07:41:46 +00:00
jstoobysmith	ec03307948	refactor: Lint	2024-10-01 06:17:23 +00:00
jstoobysmith	bd83eba92f	feat: Properties of 2HDM	2024-10-01 06:15:50 +00:00
jstoobysmith	bd95794eb9	feat: Formalize two informal results.	2024-09-30 14:21:58 +00:00
jstoobysmith	9c2f7baf33	feat: Informal lemmas about Higgs bosons	2024-09-26 09:32:17 +00:00